Default =$>$ ${\it body}$(${\it value}$,${\it value}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it body}$